FDL - Nuprl Definition : p-disjoint

Nuprl Definition : p-disjoint

11,40

p-disjoint(A;f;g) ==

x:A.

((

can-apply(f;x)) & (

can-apply(g;x)))

Definitions x:A. B(x), A, P & Q, b, can-apply(f;x)

FDL editor aliases p-disjoint

Definitions	x:A. B(x), A, P & Q, b, can-apply(f;x)
FDL editor aliases	p-disjoint